From 584cfff90a558c7258630bfa5aaf68361cc1f80d Mon Sep 17 00:00:00 2001
From: William Hua <william@attente.ca>
Date: Tue, 9 Dec 2014 08:57:21 -0500
Subject: [PATCH] mir: end the current grab on ungrab

---
 gdk/mir/gdkmirpointer.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/gdk/mir/gdkmirpointer.c b/gdk/mir/gdkmirpointer.c
index 96c7e743fd..393736152e 100644
--- a/gdk/mir/gdkmirpointer.c
+++ b/gdk/mir/gdkmirpointer.c
@@ -17,6 +17,7 @@
 
 #include "config.h"
 
+#include "gdkdisplayprivate.h"
 #include "gdkdeviceprivate.h"
 #include "gdkscreen.h"
 #include "gdkwindow.h"
@@ -183,6 +184,11 @@ gdk_mir_pointer_ungrab (GdkDevice *device,
 {
   //g_printerr ("gdk_mir_pointer_ungrab\n");
   /* Mir doesn't do grabs */
+
+  GdkDeviceGrabInfo *grab = _gdk_display_get_last_device_grab (gdk_device_get_display (device), device);
+
+  if (grab)
+    grab->serial_end = grab->serial_start;
 }
 
 static GdkWindow *
-- 
2.30.2